Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees

Modern cyber physical systems (CPSs) are becoming more and more vulnerable to security related attacks, due to the growing number of interconnectivity and standardized communication channels. This evolution make the traditional approaches considering the safety and security domains as two disjunctive areas obsolete. In this paper we propose state/event fault tree for modeling and analyzing the safety and the security aspects of CPSs in a common model. To evaluate our approach, we apply it on a case study of a tire pressure monitoring system.